Logical Equivalence Proof